Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 24.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000399 | Pierre-Cyrille Héam [France] ; Jean-Luc Joly [France] | Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata |
| 000851 | Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard |
| 000852 | Pierre-Cyrille Héam [France] ; Jean-Luc Joly [France] | On the Uniform Random Generation of Determinisitic Partially Ordered Automata using Monte Carlo Techniques |
| 000863 | Maxime Bride [France] ; Pierre-Cyrille Héam [France] ; Isabelle Jacques [France] | Computing Semicommutation Closures: a Machine Learning Approach |
| 000D86 | Aloïs Dreyfus [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Catherine Masson [France] | A random testing approach using pushdown automata |
| 002411 | Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Rafik Kheddam [France] | Mutation-Based Test Generation from Security Protocols in HLPSL |
| 002413 | Pierre-Cyrille Héam [France] ; Cyril Nicaud [France] | Seed, an Easy-to-Use Random Generator of Recursive Data Structures for Testing |
| 002D69 | Pierre-Christophe Bué [France] ; Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] | Model-Based Testing using Symbolic Animation and Machine Learning |
| 002F05 | Fahima Cheikh [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Composition of Services with Constraints |
| 003213 | Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | {SAT} Solvers for Queries over Tree Automata with Constraints |
| 003371 | Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Jocelyn Levrey [France] | On the Use of Uniform Random Generation of Automata for Testing |
| 003741 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
| 003768 | Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Non Left-Linear Rules When Completing Tree Automata |
| 003E65 | Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Left-Quadratic Rules When Completing Tree Automata |
| 003F07 | Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Finer is better: Abstraction Refinement for Rewriting Approximations |
| 004140 | Gérard Cécé [France] ; Pierre-Cyrille Héam [France] ; Yann Mainier [France] | Efficiency of Automata in Semi-Commutation Verification Techniques |
| 004201 | Pierre-Cyrille Héam [France] | A Note on Partially Ordered Tree Automata |
| 004E15 | Pierre-Cyrille Héam [France] | Transitive Closures of Semi-commutation Relations on Regular omega-Languages |
| 004F38 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Algebraic Properties in Automatic Analysis of Security Protocols |
| 005765 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Algebraic Properties in Automatic Analysis of Security Protocols |
| 005804 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Automatic Abstraction Generation : How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users |
| 005979 | Alessandro Armando [Italie] ; David Basin [Suisse] ; Yohan Boichut [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jacopo Mantovani [Italie] ; Sebastian Mödersheim [Suisse] ; David Von Oheimb [Allemagne] ; Michaël Rusinowitch [France] ; Judson Santos Santiago [France] ; Luca Vigano [Suisse] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | The AVISPA Tool for the automated validation of internet security protocols and applications |
| 006550 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Automatic Verification of Security Protocols Using Approximations |
| 007C81 | Gérard Cécé [France] ; Pierre-Cyrille Héam [France] ; Yann Mainier [France] | Efficiency of Automata in Semi-Commutation Verification Techniques |
| This area was generated with Dilib version V0.6.33. |  |